N := e -> (implements)
I